$e$ c$\leq$ ${\it e'}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($e$ $<$ ${\it e'}$) $\vee$ $e$ $=$ ${\it e'}$